Ordinal numbers - PDFSEARCH.IO - Document Search Engine

Ordinal numbers
Results: 227

#	Item
11	Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Ordinal numbers Mathematics Abstraction Cardinal numbers Set theory Wellfoundedness Infinity Ordinal arithmetic Transfinite induction Constructible universe Aleph number
12	A Revenge-Immune Solution to the Semantic Paradoxes Hartry Field∗ August 29, 2002 Abstract Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Mathematical logic Mathematics Ordinal numbers Philosophy of mathematics Constructible universe Transfinite induction Generalised Whitehead product Ordinal arithmetic
13	Large time behavior, Lyapunov functionals and the rearrangement theory for a nonlocal diﬀerential equation by Thanh Nam NGUYEN (NIMS) Add to Reading List Source URL: fmsp.ms.u-tokyo.ac.jp Language: English - Date: 2016-01-19 03:13:52 Operator theory Partial differential equations Ordinal numbers Complex analysis Harmonic analysis NeumannPoincar operator
14	Answers Phrasal verbs 1) 1. curled up 2. lie down 3. fell over 4. stood up 5. sit up 2) 1. b 2. d 3. f 4. e 5. c 6. a 3) 1. woke up 2. get up 3. took off 4. put on 5. went out 4) 1. up 2. away 3. back 4. down 5. up Add to Reading List Source URL: www.chambers.co.uk Language: English - Date: 2015-02-17 11:02:59 Cardinal numbers Parts of speech Infinity Grammar Noun Uncountable set English numerals Ordinal number Set
15	Intuitionistic Sets and Ordinals Paul Taylor 1993 Abstract Transitive extensional well founded relations provide an intuitionistic notion of ordinals Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:19 Ordinal numbers Set theory Mathematical logic Recursion Wellfoundedness Constructible universe Well-founded relation Transfinite induction Transitive set Burali-Forti paradox Equality Implementation of mathematics in set theory
16	Truly Modular (Co)datatypes for Isabelle/HOL Jasmin Christian Blanchette1 , Johannes Hölzl1 , Andreas Lochbihler2 , Lorenz Panny1 , Andrei Popescu1,3 , and Dmitriy Traytel1 1 3 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Ordinal numbers Type theory Computability theory Recursion Constructible universe Lambda calculus Standard ML Recursive data type Fold CurryHoward correspondence
17	Scope & Sequence U nit Numbers 1 to 3 Add to Reading List Source URL: www.richmond.com.co Language: English - Date: 2016-02-24 13:51:54 Mathematics Elementary arithmetic Binary operations Subtraction Size Shape Addition Number Ordinal number Matrix
18	LINEAR EXTENSIONS OF PARTIAL ORDERS AND REVERSE MATHEMATICS EMANUELE FRITTAION AND ALBERTO MARCONE Abstract. We introduce the notion of τ -like partial order, where τ is one of the linear order types ω, ω ∗ , ω + Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2015-07-05 17:59:22 Wellfoundedness Ordinal numbers Operator theory Differential forms Well-order Differential forms on a Riemann surface Sobolev spaces for planar domains
19	Game characterizations of function classes and Weihrauch degrees MSc Thesis (Afstudeerscriptie) written by Hugo de Holanda Cunha Nobrega (born September 5, 1987 in Petrópolis, Brazil) Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2013-10-24 09:16:13 Mathematical logic Mathematics Set theory Descriptive set theory Wadge hierarchy Determinacy Axiom of countable choice Ordinal numbers -consistent theory Ordinal arithmetic
20	A LIGHTFACE ANALYSIS OF THE DIFFERENTIABILITY RANK LINDA BROWN WESTRICK Abstract. We examine the computable part of the differentiability hierarchy defined by Kechris and Woodin. In that hierarchy, the rank of a differen Add to Reading List Source URL: www.math.uconn.edu Language: English - Date: 2014-10-24 11:30:43 Ordinal numbers Proof theory Computability theory Mathematical notation Ordinal notation Continuous function Constructible universe Limit of a function Symbol NC Computable number Fast-growing hierarchy